bivariations and tensor products
نویسندگان
چکیده
the ordinary tensor product of modules is defined using bilinear maps (bimorphisms), that are linear in eachcomponent. keeping this in mind, linton and banaschewski with nelson defined and studied the tensor product in an equational category and in a general (concrete) category k, respectively, using bimorphisms, that is, defined via the hom-functor on k. also, the so-called sesquilinear, or one and a half linear maps and the corresponding tensor products generalize these notions for modules and vector spaces. in this paper, taking a concrete category k and an arbitrary subfunctor h of the functor u¢ = hom (uop ´u) rather than just the hom-functor, where u is the underlying set functor on k, we generalize sesquilinearity to bivariation and study the related notions such as functional internal lifts, universal bivariants, tensor products, and their interdependence.
منابع مشابه
Fuzzy projective modules and tensor products in fuzzy module categories
Let $R$ be a commutative ring. We write $mbox{Hom}(mu_A, nu_B)$ for the set of all fuzzy $R$-morphisms from $mu_A$ to $nu_B$, where $mu_A$ and $nu_B$ are two fuzzy $R$-modules. We make$mbox{Hom}(mu_A, nu_B)$ into fuzzy $R$-module by redefining a function $alpha:mbox{Hom}(mu_A, nu_B)longrightarrow [0,1]$. We study the properties of the functor $mbox{Hom}(mu_A,-):FRmbox{-Mod}rightarrow FRmbox{-Mo...
متن کاملTensor Products
Let R be a commutative ring and M and N be R-modules. (We always work with rings having a multiplicative identity and modules are assumed to be unital: 1 ·m = m for all m ∈M .) The direct sum M ⊕N is an addition operation on modules. We introduce here a product operation M ⊗RN , called the tensor product. We will start off by describing what a tensor product of modules is supposed to look like....
متن کاملOperadic Tensor Products and Smash Products
Let k be a commutative ring. E∞ k-algebras are associative and commutative k-algebras up to homotopy, as codified in the action of an E∞ operad; A∞ k-algebras are obtained by ignoring permutations. Using a particularly well-behaved E∞ algebra, we explain an associative and commutative operadic tensor product that effectively hides the operad: an A∞ algebra or E∞ algebra A is defined in terms of...
متن کاملTensor products and *-autonomous categories
The main use of ∗-autonomous categories is in the semantic study of Linear Logic. For this reason, it is thus natural to look for a ∗-autonomous category of locally convex topological vector spaces (tvs). On one hand, Linear Logic inherits its semantics from Linear Algebra, and it is thus natural to build models of Linear Logic from vector spaces [3,5,6,4]. On the other hand, denotational seman...
متن کاملQuiver Varieties and Tensor Products
In this article, we give geometric constructions of tensor products in various categories using quiver varieties. More precisely, we introduce a lagrangian subvariety Z̃ in a quiver variety, and show the following results: (1) The homology group of Z̃ is a representation of a symmetric Kac-Moody Lie algebra g, isomorphic to the tensor product V (λ1)⊗· · ·⊗V (λN ) of integrable highest weight modu...
متن کاملTensor Products and Relation Quantales
A classical tensor product A⊗B of complete lattices A and B, consisting of all down-sets in A×B that are join-closed in either coordinate, is isomorphic to the complete lattice Gal(A,B) of Galois maps from A to B, turning arbitrary joins into meets. We introduce more general kinds of tensor products for closure spaces and for posets. They have the expected universal property for bimorphisms (se...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
iranian journal of science and technology (sciences)ISSN 1028-6276
دوره 35
شماره 2 2011
کلمات کلیدی
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023